#ifndef VALUATION_H
#define VALUATION_H

#include <vector>
namespace cdnf{

class Valuation {
public:
	Valuation();
	Valuation(int numberOfVar);
	void clone(Valuation& valuation);
	bool get(int index);
	bool operator[](int index);
	void set(int index, bool value);
	void add(bool value);
	int size();
	bool equals(Valuation& valuation);
	Valuation xorValuation(Valuation& second);
	void print();
//	virtual ~Valuation();
private:
	std::vector<bool> values;
};
}
#endif /* VALUATION_H */
